FROM openjdk:8-jre-slim

# Set environment variables
ENV JETTY_VERSION 9.2.3.v20140905
ENV JETTY_HOME /opt/jetty
ENV PATH $JETTY_HOME/bin:$PATH

# Download and extract Jetty and copy the patched JAR file into the Jetty lib directory
RUN apt-get update && apt-get install -y wget && \
    wget https://repo1.maven.org/maven2/org/eclipse/jetty/jetty-distribution/${JETTY_VERSION}/jetty-distribution-${JETTY_VERSION}.tar.gz && \
    tar -xzf jetty-distribution-${JETTY_VERSION}.tar.gz -C /opt/ && \
    mv /opt/jetty-distribution-${JETTY_VERSION} $JETTY_HOME && \
    rm jetty-distribution-${JETTY_VERSION}.tar.gz && \
    wget -O $JETTY_HOME/lib/jetty-http-${JETTY_VERSION}.jar https://bugs.eclipse.org/bugs/attachment.cgi?id=251117

WORKDIR $JETTY_HOME

# Expose default Jetty port
EXPOSE 8080

CMD ["java", "-jar", "start.jar"]
